To Be Decided Remains to Be Decided

Weak Bisimilarity with Infinite-State Systems Can Be Decided in Polynomial Time

We prove that weak bisimilarity is decidable in polynomial time between BPA and finite-state processes, and between normed BPP and finite-state processes. To the best of our knowledge, these are the first polynomial algorithms for weak bisimilarity with infinite-state systems.

Much remains to be done.

Dr. Philip May presents a highly competent discussion of the major considerations attending morbidity and mortality associated with alcoholism on Indian reservations in the United States. Unfortunately, his article in this publication is mostly applicable to the period prior to 1985. Since 1985, the profile of chemical dependency in Indian country has been dramatically altered. A proliferation ...

Should ethical issues in biotechnology research be decided by physician-scientists or by lawyers?

* Senior Consultant Physician Division of Clinical Pharmacology & Therapeutics Department of Medicine National University Hospital Address for Reprints: Professor Vernon M S Oh, Division of Clinical Pharmacology & Therapeutics, Department of Medicine, National University Hospital, Singapore119074. E-mail: [email protected] As with clinical practice, the practice of biomedical research i...

Paying People to Be Healthy

User Financial Incentives (UFIs) have emerged as a powerful tool for health promotion. Strong evidence suggests that large enough incentives paid to individuals, conditional on behaviour they can control, encourages more of the desired behaviour. However, such interventions can have unintended consequences for non-targeted behaviours. Implementation difficulties that result in individuals not u...

Optimum duration of dual antiplatelet treatment could be decided using 64-MDCT: A new hint to treating patients with stents